David France

Results: 245



#Item
41Ballot secrecy and ballot independence coincide Ben Smyth1 and David Bernhard2 1 INRIA Paris-Rocquencourt, France 2

Ballot secrecy and ballot independence coincide Ben Smyth1 and David Bernhard2 1 INRIA Paris-Rocquencourt, France 2

Add to Reading List

Source URL: www.bensmyth.com

Language: English - Date: 2013-06-24 12:47:35
    42Optimal agreement supertrees David Bryant LIRMM, 161 rue Ada, 34392 Montpellier, France Cedex 5 Abstract An agreement supertree of a collection of unrooted phylogenetic trees {T1 , T2 , . . . , Tk } with leaf sets L(T1 )

    Optimal agreement supertrees David Bryant LIRMM, 161 rue Ada, 34392 Montpellier, France Cedex 5 Abstract An agreement supertree of a collection of unrooted phylogenetic trees {T1 , T2 , . . . , Tk } with leaf sets L(T1 )

    Add to Reading List

    Source URL: www.maths.otago.ac.nz

    Language: English - Date: 2013-03-04 14:55:21
      43A Nelson-Oppen based Proof System using Theory Specific Proof Systems∗ Fr´ed´eric Besson, Pierre-Emmanuel Cornilleau, David Pichardie INRIA Rennes – Bretagne Atlantique, France Abstract SMT solvers are nowadays per

      A Nelson-Oppen based Proof System using Theory Specific Proof Systems∗ Fr´ed´eric Besson, Pierre-Emmanuel Cornilleau, David Pichardie INRIA Rennes – Bretagne Atlantique, France Abstract SMT solvers are nowadays per

      Add to Reading List

      Source URL: pxtp2011.loria.fr

      Language: English - Date: 2011-08-12 05:51:25
        44SATISFIABILITY SOLVING FOR SOFTWARE VERIFICATION David D´eharbe DIMAp/UFRN (Natal, Brazil) Silvio Ranise INRIA-Lorraine (Nancy, France)

        SATISFIABILITY SOLVING FOR SOFTWARE VERIFICATION David D´eharbe DIMAp/UFRN (Natal, Brazil) Silvio Ranise INRIA-Lorraine (Nancy, France)

        Add to Reading List

        Source URL: www.loria.fr

        Language: English - Date: 2006-10-25 08:45:53
          45Proved Generation of Implementations from Computationally Secure Protocol Specifications David Cad´e and Bruno Blanchet INRIA Paris-Rocquencourt, France {david.cade,bruno.blanchet}@inria.fr

          Proved Generation of Implementations from Computationally Secure Protocol Specifications David Cad´e and Bruno Blanchet INRIA Paris-Rocquencourt, France {david.cade,bruno.blanchet}@inria.fr

          Add to Reading List

          Source URL: prosecco.gforge.inria.fr

          Language: English - Date: 2012-12-18 10:28:29
            46Ballot secrecy and ballot independence coincide Ben Smyth1 and David Bernhard2 1 INRIA Paris-Rocquencourt, France 2

            Ballot secrecy and ballot independence coincide Ben Smyth1 and David Bernhard2 1 INRIA Paris-Rocquencourt, France 2

            Add to Reading List

            Source URL: bensmyth.com

            Language: English - Date: 2013-06-24 12:47:35
              47ITW2003, Paris, France, March 31 – April 4, 2003 An IND-CPA cryptosystem from Demytko’s primitive David Galindo, Sebasti`a Mart´ın, Paz Morillo and Jorge L. Villar Dep. Matem`atica Aplicada IV.

              ITW2003, Paris, France, March 31 – April 4, 2003 An IND-CPA cryptosystem from Demytko’s primitive David Galindo, Sebasti`a Mart´ın, Paz Morillo and Jorge L. Villar Dep. Matem`atica Aplicada IV.

              Add to Reading List

              Source URL: www.dgalindo.es

              Language: English - Date: 2007-11-26 10:35:39
                48William Morris Chair, BIAC Tax Committee 13/15, Chauseee de la Muette, 75016 Paris France David Bradbury, Head, Tax Policy and Statistics Division, CTPA.

                William Morris Chair, BIAC Tax Committee 13/15, Chauseee de la Muette, 75016 Paris France David Bradbury, Head, Tax Policy and Statistics Division, CTPA.

                Add to Reading List

                Source URL: biac.org

                Language: English - Date: 2015-08-14 09:49:41
                  49Ballot secrecy and ballot independence: definitions and relations Ben Smyth1 and David Bernhard2 1 INRIA Paris-Rocquencourt, France

                  Ballot secrecy and ballot independence: definitions and relations Ben Smyth1 and David Bernhard2 1 INRIA Paris-Rocquencourt, France

                  Add to Reading List

                  Source URL: bensmyth.com

                  Language: English - Date: 2014-10-15 10:33:36
                    50Improved bounds for the randomized decision tree complexity of recursive majority? Fr´ed´eric Magniez1 , Ashwin Nayak2?? , Miklos Santha1,3? ? ? , and David Xiao1,4 1 LIAFA, Univ. Paris 7, CNRS; Paris, France. magniez

                    Improved bounds for the randomized decision tree complexity of recursive majority? Fr´ed´eric Magniez1 , Ashwin Nayak2?? , Miklos Santha1,3? ? ? , and David Xiao1,4 1 LIAFA, Univ. Paris 7, CNRS; Paris, France. magniez

                    Add to Reading List

                    Source URL: www.liafa.univ-paris-diderot.fr

                    Language: English - Date: 2011-12-25 07:46:52